Knowing Values and Public Inspection
نویسندگان
چکیده
We present a basic dynamic epistemic logic of “knowing the value”. Analogous to public announcement in standard DEL, we study “public inspection”, a new dynamic operator which updates the agents’ knowledge about the values of constants. We provide a sound and strongly complete axiomatization for the single and multi-agent case, making use of the well-known Amstrong axioms for dependencies in databases.
منابع مشابه
Providing an optimal model for gaining public trust in the Complaints System and Inspection Agency's announcements
This research seeks to provide an optimal model for gaining public trust in the Complaints System and Inspection Agency's announcements.In this research, a survey method and a researcher-made questionnaire were used. The study population was consist of customers and users of the complaint handling system and the organization's inspection reports in Mazandaran province comprising equal numbers o...
متن کاملManagement Education in Public Health: Further Considerations; Comment on “Management Matters: A Leverage Point for Health Systems Strengthening in Global Health”
Knowing and applying the basic management functions of planning, organizing, staffing, directing, and controlling, as well as their permutations and combinations, are vital to effective delivery of public health services. Presently, graduate programs that prepare public health professionals neither emphasize teaching management theory, nor its application. This deficit puts those who become man...
متن کاملHEPA Filters specifications in two standards, ASME AG-1 & DOE for using in Tehran Research Reactor (TRR)
HEPA filters serve as important safety device to protect personnel as well as the public and environment from the radiation effects exist in the air, so they are vital devices in the event accidents. DOE provides directions through the use of two technical standards, 3020 and 3025, including QA requirements for the procurement, packaging, shipping and storage of HEPA filters and also provides d...
متن کاملThe Method of Story-Telling in Ethical Education in the View of Shahid Motahhari
Morteza Motahari is one of those speaking on ethics in contemporary Iran. In addition to his extensive theoretical efforts for the theoretical foundations of the Islamic Movement, writing simple works for the public, he tried to promote certain moral values. If his moral reformist minds were to be recognized, it would be necessary to study the same series of his works, since they indicate the m...
متن کاملComparing some screening values of Pap test and visual inspection with acetic acid in the diagnosis of precancerous cervical lesions (2016-2017)
Background: Visual inspection with acetic acid (VIA) is one of the several methods that can serve as an alternative to the Pap test for diagnosis of precancerous lesions in the cervix. This study aimed to compare the screening value of VIA and Pap test in such diagnosis. Materials and Methods: The population of this descriptive study was 304 women who attended Afzalipour Hospital in Kerman, Ir...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017